// - /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle
impl<Item, I: Iterator<Item = Item>, C: Context> ContextIter for ContextIterWrapper<Item, I, C> {
pub fn constructor_ult<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_ule<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_ugt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_uge<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_slt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sle<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sgt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sge<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 361.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 370.
pub fn constructor_swizzle<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 379.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 388.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 397.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 406.
pub fn constructor_smin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 415.
pub fn constructor_umin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 424.
pub fn constructor_smax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 433.
pub fn constructor_umax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 442.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 451.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 460.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 469.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 478.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 487.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 496.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 505.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 514.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 523.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 532.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 541.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 550.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 559.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 568.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 577.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 586.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 595.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 604.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 613.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 622.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 631.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 640.
pub fn constructor_global_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 649.
pub fn constructor_symbol_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 658.
pub fn constructor_tls_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 667.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 676.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 685.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 694.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 703.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 712.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 721.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 730.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 739.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 748.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 757.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 766.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 775.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 784.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 793.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 802.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 811.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 820.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 829.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 838.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 847.
pub fn constructor_iadd<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 856.
pub fn constructor_isub<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 865.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 874.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 883.
pub fn constructor_imul<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 892.
pub fn constructor_umulhi<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 901.
pub fn constructor_smulhi<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 910.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 919.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 928.
pub fn constructor_udiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 937.
pub fn constructor_sdiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 946.
pub fn constructor_urem<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 955.
pub fn constructor_srem<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 964.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 973.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 982.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 991.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1000.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1009.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1018.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1027.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1036.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1045.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1054.
pub fn constructor_band<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1063.
pub fn constructor_bor<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1072.
pub fn constructor_bxor<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1081.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1090.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1099.
pub fn constructor_bor_not<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1108.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1117.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1126.
pub fn constructor_bor_imm<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Imm64) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1135.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1144.
pub fn constructor_rotl<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1153.
pub fn constructor_rotr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1162.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1171.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1180.
pub fn constructor_ishl<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1189.
pub fn constructor_ushr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1198.
pub fn constructor_sshr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1207.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1216.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1225.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1234.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1243.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1252.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1261.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1270.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1279.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1288.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1297.
pub fn constructor_fadd<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1306.
pub fn constructor_fsub<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1315.
pub fn constructor_fmul<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1324.
pub fn constructor_fdiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1333.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1342.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1351.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1360.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1369.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1378.
pub fn constructor_fmin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1387.
pub fn constructor_fmax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1396.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1405.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1414.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1423.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1432.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1441.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1450.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1459.
pub fn constructor_scalar_to_vector<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1468.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1477.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1486.
pub fn constructor_snarrow<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1495.
pub fn constructor_unarrow<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1504.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1513.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1522.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1531.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1540.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1549.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1558.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1567.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1576.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1585.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1594.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1603.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1612.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1621.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1630.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1639.
pub fn constructor_fcvt_to_uint_sat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1648.
pub fn constructor_fcvt_to_sint_sat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1657.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1666.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1675.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1684.
pub fn constructor_iconcat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1693.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1702.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1711.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1720.
// Rule at /home/smcdev/zk-client-private/near/target/debug/build/cranelift-codegen-c1a82fb675b6a305/out/clif_opt.isle line 1729.